📊 Static Analysis

Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·20h
📏Code Metrics
How To Solve Every Programming Problem
blog.codeminer42.com·4h
📐Interval Arithmetic
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
How To Review Code
endler.dev·1d
📏Code Metrics
Design Arts Medias | Designing with Abstractions: CSS and the Case of Masonry Layouts
journal.dampress.org·1d
📖Nordic Typography
An easy-to-implement, arena-friendly hash map
nullprogram.com·2h·
Discuss: Lobsters
🔐Hash Functions
Experience report: Implementing High Volume Automated Testing system
mirekdlugosz.com·7h
🧪Property-Based Testing
Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundation; Gabriele Paoloni, Red Hat
elisa.tech·17h
📜Proof Carrying Code
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·1d
✅Archive Validation
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·1d·
Discuss: Hacker News
🦀Rust Macros
Xcode 26 Beta 5
mjtsai.com·4h
🍎XNU Internals
Python performance myths and fairy tales
lwn.net·15h·
Discuss: Lobsters, Hacker News
💻Programming languages
Software books I wish I could read
buttondown.com·11h·
Discuss: Hacker News
🔄Language Evolution
We enforce .NET codingstandards to improve productivity
anthonysimmon.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
How to Check if a Python List Is Empty
dev.to·5h·
Discuss: DEV
🔗Lisp
Polyfill This! Flat, Map, Filter & Reduce — The Hard Way
hackernoon.com·16h
⬆️Lambda Lifting
Arenas in Rust
russellw.github.io·22h·
Discuss: Hacker News
🦀Rust Borrowing
Paralegal: Practical Static Analysis for Privacy Bugs
cs.brown.edu·2d·
Discuss: Hacker News
📜Proof Carrying Code
Week 31 Status
blogs.gnome.org·2d
🎯Gradual Typing
Moldable Development at Lifeware (micro tools for a 35M LOC system)
lepiter.io·6h·
Discuss: Hacker News
🔄Language Evolution